121. Proceedings of the Fourth European Conference on Mathematics in Industry
پدیدآورنده: edited by Hansjörg Wacker, Walter Zulehner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering mathematics.,Mechanical engineering.,Systems theory.
122. Proceedings of the International Conference on Soft Computing for Problem Solving (SocProS 2011) December 20-22, 2011 :
پدیدآورنده: edited by Kusum Deep, Atulya Nagar, Millie Pant, Jagdish Chand Bansal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational Intelligence.,Data mining.,Engineering.
رده :
QA76
.
9
.
S63
E358
2012
123. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده: edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
124. Proceedings of the 18th Online World Conference on Soft Computing in Industrial Applications (WSC18) /
پدیدآورنده: Bernadetta Kwintiana Ane, Andi Cakravastia, Lucia Diawati, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Soft computing-- Industrial applications, Congresses.,Soft computing, Congresses.,Artificial intelligence.,COMPUTERS / General.,Soft computing-- Industrial applications.,Soft computing.
رده :
QA76
.
9
.
S63
125. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده: B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
126. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
127. Recent Research in Control Engineering and Decision Making /
پدیدآورنده: editors, Olga Dolinina, Alexander Brovko, Vitaly Pechenkin, Alexey Lvov, Vadim Zhmud and Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic control, Congresses.,Decision making-- Data processing, Congresses.,Decision support systems, Congresses.,Automatic control.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Decision making-- Data processing.,Decision support systems.
رده :
T58
.
62
128. Recent advances on hybrid intelligent systems
پدیدآورنده: Oscar Castillo, Patricia Melin, and Janusz Kacprzyk (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Ingénierie.,Soft computing.
رده :
Q335
.
O833
2013
129. Research and development in intelligent systems XIX :
پدیدآورنده: Max Bramer, Alun Preece, and Frans Coenen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Inteligencia artificial -- Congresos.,Sistemas expertos (Informática) -- Congresos.,Sistemas expertos (Informática) -- Congresos.
رده :
QA76
.
76
.
E95
M393
2003
130. Rough Sets and Current Trends in Computing.
پدیدآورنده: Wojciech Ziarko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ebooks -- UML.
131. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده: [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.
132. Selected Topics in Image Science
پدیدآورنده: edited by Orhan Nalcioglu, Zang-Hee Cho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer vision.,Medical records -- Data processing.,Medicine.
رده :
RC78
.
E358
1984
133. Sequential and parallel algorithms and data structures :
پدیدآورنده: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
134. Shortest path solvers :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
رده :
QA76
.
9
.
A43
135. Simulation of semiconductor devices and processes Vol. 6
پدیدآورنده: H. Ryssel, P. Pichler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electrical engineering -- Congresses.,Electrical engineering.,Semiconductors -- Mathematical models -- Congresses.
رده :
TK7871
.
85
H797
1995
136. Soft Computing in Acoustics :
پدیدآورنده: by Boz̊ena Kostek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business -- Data processing.,Information technology.,Physics.
رده :
ML3805
.
B936
1999
137. Soft computing in engineering /
پدیدآورنده: Jamshid Ghaboussi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering-- Data processing.,Engineering mathematics.,Soft computing.,Engineering-- Data processing.,Engineering mathematics.,Soft computing.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA345
.
G49
2018eb
138. Some Tapas of Computer Algebra
پدیدآورنده: edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
139. Sparse Principal Component Analysis:
پدیدآورنده: Zhang, Youwei
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
140. Supercomputing.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
